『型推論 特別講義』
「型推論」特別講義 (プログラミング言語の基礎理論シリーズ） - YouTube
https://youtu.be/RlSZVXW-2oA
型環境
$ \Gamma
帰納法
https://youtu.be/j_CsQCmj4GY
Vacuous Truth
#型推論
#文献